-
1 nonmonotonic conclusion
нестрогий вывод ( при неполной информации); немонотонное заключение ( полученное на основе нестрогого вывода)Англо-русский словарь промышленной и научной лексики > nonmonotonic conclusion
-
2 немонотонное заключение
Русско-английский большой базовый словарь > немонотонное заключение
-
3 немонотонный вывод
Русско-английский большой базовый словарь > немонотонный вывод
-
4 нестрогий вывод
-
5 немонотонный
-
6 немонотонный вывод
Русско-английский словарь по информационным технологиям > немонотонный вывод
-
7 немонотонный вывод
1) Computers: non-monotonic inference, nonmonotonic conclusion, nonmonotonic reasoning2) Engineering: nonmonotonic conclusion (при неполной информации)Универсальный русско-английский словарь > немонотонный вывод
-
8 приходить к заключению
1. arrive at a conclusionделать вывод; приходить к заключению — come to a conclusion
в заключение я должен сказать … — finally, I have to say …
2. come to a conclusion3. draw an inference4. reach a conclusionРусско-английский большой базовый словарь > приходить к заключению
-
9 заключение
1. с. enclosure, encasement2. с. conclusion, inferenceделать заключение о … — conclude about …
делать вывод; приходить к заключению — come to a conclusion
3. с. findings, final reportСинонимический ряд:заточение (сущ.) заточение; лишение свободы; отсидка; отсидку -
10 немонотонное заключение
Information technology: nonmonolitic conclusion, nonmonotonic conclusion (полученное на основе нестрогого вывода)Универсальный русско-английский словарь > немонотонное заключение
-
11 нестрогий вывод
Information technology: nonmonolitic conclusion, nonmonotonic conclusion (при неполной информации) -
12 немонотонное заключение
( полученное на основе нестрогого вывода) nonmonotonic conclusionРусско-английский словарь по вычислительной технике и программированию > немонотонное заключение
-
13 нестрогий вывод
( при неполной информации) nonmonotonic conclusionРусско-английский словарь по вычислительной технике и программированию > нестрогий вывод
См. также в других словарях:
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia
Nixon diamond — In nonmonotonic reasoning, the Nixon diamond is a scenario in which default assumptions can lead to mutually inconsistent conclusions. This scenario is: usually, Quakers are pacifist usually, Republicans are not pacifist Richard Nixon is both a… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Argumentation theory — Argumentation theory, or argumentation, embraces the arts and sciences of civil debate, dialogue, conversation, and persuasion; studying rules of inference, logic, and procedural rules in both artificial and real world settings. Argumentation is… … Wikipedia
Teoría de la argumentación — La teoría o tipo de la argumentación es el estudio interdisciplinario del debate civil, la dialéctica parlamentaria, el diálogo, la conversación y la persuasión. Estudia la lógica, las reglas de inferencia y las reglas de procedimiento. La… … Wikipedia Español
John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia